first-order logic - Turco Inglés Diccionario